COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	outline of master's thesis in mathematics-computer science
C00004 ENDMK
C⊗;
outline of master's thesis in mathematics-computer science

a study of the relationships between deduction computation and truth
in various mathematical and c.s. formalisms

propositional calculus
 mendelson
  ded: reduction rules
  comp:
  truth: models

predicate calculus
 mendelson
  ded:
  comp:
  truth: models

elementary number theory
 kleene
  ded: axioms 
  comp: recursive functions
  truth: model & incompleteness

λlambda calculus
 wadsworth
  conversion rules
  secd machine
  scott's models
lcf
 milner
  decuction and truth 
  computation: lcf as prog lang(?)

lisp
 gordon
  deduction - claculus
  comput-eval
  truth- model